The Seventeenth International Conference on Principles and Practice of Constraint Programming ( CP 2011 ) Doctoral Program

s of Papers in the Main CP 2011 Conference A constraint based approach to cyclic RCPSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 Alessio Bonfietti, Michele Lombardi, Michela Milano and Luca Benini Solving MAXSAT by Solving a Sequence of Simpler SAT Instances . . . . . . . . . . . . . . . . 98 Jessica Davies and Fahiem Bacchus Filtering Algorithms for Discrete Cumulative Problems with Over-loads of Resource . . . . . . . 99 Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu and Narendra Jussien Synthesis of Search Algorithms from High-level CP Models . . . . . . . . . . . . . . . . . . . . 100 Samir A. Mohamed Elsayed and Laurent Michel Revisiting the tree Constraint . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 Jean-Guillaume Fages and Xavier Lorca Grid-Based SAT Solving with Iterative Partitioning and Clause Learning . . . . . . . . . . . . . . 102 Antti Hyvärinen, Tommi Junttila and Ilkka Niemelä Constraint Reasoning and Kernel Clustering for Pattern Decomposition With Scaling . . . . . . . 103 Ronan Le Bras, Theodoros Damoulas, Ashish Sabharwal and Carla Gomes An Efficient Light Solver for Querying the Semantic Web . . . . . . . . . . . . . . . . . . . . . . 104 Vianney Le Clément De Saint-Marcq, Yves Deville and Christine Solnon Boolean Equi-propagation for Optimized SAT Encoding . . . . . . . . . . . . . . . . . . . . . . 105 Amit Metodi, Michael Codish, Vitaly Lagoon and Peter Stuckey Incorporating Variance in Impact-Based Search . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 Serdar Kadioglu, Eoin O’Mahony, Philippe Refalo and Meinolf Sellmann Octagonal Domains for Continuous constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Marie Pelleau, Charlotte Truchet and Frederic Benhamou A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints . . . . . . . 108 Roger Kameugne, Laure Pauline Fotso, Joseph Scott and Youcheu Ngo-Kateu Pruning Rules for Constrained Optimisation for Conditional Preferences . . . . . . . . . . . . . . 109 Nic Wilson and Walid Trabelsi